Excerpts From Documentary Towards A Semantic Language Of Mathematics